CompAr: Ensuring Safe Around Advice Composition
نویسندگان
چکیده
Advanced techniques in separation of concerns such as AspectOriented Programming, help to develop more maintainable and more efficient applications by providing means for modularizing crosscutting concerns. However, conflicts may appear when several concerns need to be composed for the same application, especially when dealing with around advice. We call this problem the Aspect Composition Issue (ACI). Based on our experience in programming aspects, this paper presents a language called CompAr, which allows the programmer to abstractly define an execution domain, the advice codes, and their execution constraints. The CompAr compiler then evaluates the definitions in order to check if the execution constraints are fulfilled. Using a concrete AOP case study, we show how to use the CompAr language in order to detect and avoid ACIs.
منابع مشابه
A Type System for the Safe Instantiation of Components
Component composition can lead to multiple instances of the same component. Some components can have only one instance loaded at a time, for example, when a unique external resource is used. We give an abstract component language and a type system ensuring the safe instantiation of components. Language features are instantiation, composition and a simple scope mechanism for discharging instances.
متن کاملAn Advice for Advice Composition in AspectJ
Aspect composition often involves advice interference and this is a crucial problem in aspect oriented programming. When multiple advices are woven at the same join point, the advices often interfere with each other. Giving appropriate precedence order is a typical solution of this problem but it cannot resolve all kinds of advice interference. To address this problem, we propose a novel langua...
متن کاملMaintainingmomentum in Terrestrial Laser Scanning: a Uk Case Study
Terrestrial laser scanning has been rapidly adopted around the world as a tool for capturing three-dimensional survey data in a variety of applications. This rapid take up continues, but clients, and therefore data providers, are becoming increasingly interested in ensuring that data is fit for purpose and provides value for money. Specific professional guidance is required in response to this ...
متن کاملSafety in Magnetic Resonance Imaging
MRI is regarded as a safe imaging modality because it does not involve exposure to ionising radiation. However, it has unique hazards of its own, some of which can result in death or serious injury if they are not appropriately managed. This paper discusses the hazards of MRI and their biophysical basis, describes relevant legislation and guidelines, and gives practical advice on managing safet...
متن کاملComposing Interfering Abstract Protocols
The undisciplined use of shared mutable state can be a source of program errors when aliasesunsafely interfere with each other. While protocol-based techniques to reason about interferenceabound, they do not address two practical concerns: the decidability of protocol composition andits integration with protocol abstraction. We show that our composition procedure is decidable and<lb...
متن کامل